|
|
Software Composition
by Baudry, Benoît.
Publication:
. VIII, 155p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Quantitative Aspects of Programming Languages
by Aldini, Alessandro.
Publication:
. VII, 169p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination Models and Languages
by Clarke, Dave.
Publication:
. XI, 183p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High Performance Computing Systems and Applications
by Mewhort, Douglas J. K.
Publication:
. XIII, 418p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Secure Software and Systems
by Massacci, Fabio.
Publication:
. X, 241 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Software Engineering
by Arbab, Farhad.
Publication:
. XIII, 471p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Grid Resource Management
by Siddiqui, Mumtaz.
Publication:
. XV, 227p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Barthe, Gilles.
Publication:
. X, 397p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SOFSEM 2010: Theory and Practice of Computer Science
by Leeuwen, Jan.
Publication:
. XV, 780 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Hung, Dang.
Publication:
. XIV, 528 p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Technological Developments in Education and Automation
by Iskander, Magued.
Publication:
. XIV, 537p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Primer on Scientific Programming with Python
by Langtangen, Hans Petter.
Publication:
. XXXII, 798 p. 79 illus., 30 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Primer on Scientific Programming with Python
by Langtangen, Hans Petter.
Publication:
. XXX, 706p. 72 illus., 28 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Simula Research Laboratory
by Tveito, Aslak.
Publication:
. X, 656p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics, Computer Science and Logic - A Never Ending Story
by Paule, Peter.
Publication:
. VII, 113 p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Robust Data Mining
by Xanthopoulos, Petros.
Publication:
. XII, 59 p. 6 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science and its Applications
by Yeo, Sang-Soo.
Publication:
. XXVI, 996 p. 412 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Innovative Technologies for Dependable OTS-Based Critical Systems
by Cotroneo, Domenico.
Publication:
. VIII, 215 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Clustering-Based Support for Software Architecture Restructuring
by Streekmann, Niels.
Publication:
. XIX, 241p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
by Storm, Christian.
Publication:
. XIV, 350p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|